181. An introduction to Gödel's theorems /
Author: Peter Smith
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel, Kurt,Logic, Symbolic and mathematical
182. An introduction to Hilbert space and quantum logic
Author: Cohen, David W.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
Classification :
QA
322
.
4
.
C64
1989
183. An introduction to Hilbert space and quantum logic
Author: Cohen, David W.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
Classification :
QA
322
.
4
.
C64
1989
184. An introduction to Hilbert space and quantum logic
Author: Cohen, David W.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Hilbert space , Quantum theory , Logic, Symbolic and mathematical
Classification :
QA
322
.
4
.
C64
1989
185. An introduction to Hilbert space and quantum logic
Author: Cohen, David W
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
Classification :
QA
322
.
4
.
C64
1989
186. An introduction to Hilbert space and quantum logic
Author: Cohen, David W.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
Classification :
QA
322
.
4
.
C64
1989
187. An introduction to Mathematical thought. Reding, Mass
Author: / Edward Russell Stabler
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics-philosophy,Logic,Symbolic and mathematical
Classification :
QA
9
.
S67
188. An introduction to Wittgenstein's Tractatus
Author: Anscombe, Gertrude Elizabeth Margaret, 9191-1002
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
Classification :
B
3376
.
W563T7226
1971
189. An introduction to Wittgenstein's Tractatus
Author: Anscombe, G. E. M. )Gertrude Elizabeth Margaret(
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: Tractatus logico-philosophicus - Criticism and Interpretation ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages
Classification :
B
3376
.
W563T7
190. An introduction to analysis
Author: Zaring, Wilson M
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
303
.
Z3
191. An introduction to analysis
Author: Zaring, Wilson M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
303
.
Z3
192. An introduction to fussy logic applications
Author: / by John Harris
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
Classification :
TJ217
.
5
.
H39
2010
193. An introduction to fuzzy logic applications
Author: / by John Harris
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
Classification :
TJ217
.
5
H39
2000
194. An introduction to many-valued logics
Author: Robert John Ackermann
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
A23
195. An introduction to mathematical logic
Author: Richard E. Hodel,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical
Classification :
QA
.
H547
9
1995
196. An introduction to mathematical logic
Author: [by] Gerson B. Robison
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
R72
197. An introduction to mathematical logic
Author: Robison, Gerson B
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R72
198. An introduction to mathematical logic and type theory :
Author: by Peter B. Andrews.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Type theory.
Classification :
QA9
.
B974
2011
199. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, P. B. )Peter Bruce(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
2002
200. An introduction to mathematical logic and type theory : to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
1986
